The bien r package: A tool to access the Botanical Information and Ecology Network (BIEN) database

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

El Bien Moral

Biblio Bien vieillir nov 2006

Bien cube, les données textuelles peuvent s'agréger !

Résumé. La masse des données aujourd’hui disponibles engendre des besoins croissants de méthodes décisionnelles adaptées aux données traitées. Ainsi, récemment de nouvelles approches fondées sur des cubes de textes sont apparues pour pouvoir analyser et extraire de la connaissance à partir de documents. L’originalité de ces cubes est d’étendre les approches traditionnelles des entrepôts et des ...

La maximisation du bien-être utilitaire des sociétés d'agents

RÉSUMÉ. Nous considérons ici le problème d’allocation de ressources au sein d’un ensemble d’entités. Les approches centralisées souvent utilisées pour résoudre ce problème nécessitent par exemple que toutes les entités publient leurs préférences, ce qui nuit à la confidentialité de ces données. Alternativement, l’approche décentralisée proposée ici est plus flexible. Cette approche, basée sur d...